Compile-time Scope Resolution for Statecharts Transitions
نویسندگان
چکیده
Despite the success of statecharts, surprisingly little research effort has been devoted to improving code synthesis techniques for them. The work presented below is an outcome of growing interest in the area. We discuss one possible improvement for code generators retaining explicit information about the model hierarchy. The problem of dynamic scope for multitarget transitions is described and an algorithm for compile-time detection and resolution is presented. Finally we examine the possibilities of employing this technology in various compilation optimization for classical UML state diagrams which do not allow multitarget transitions.
منابع مشابه
Higher Order Process-Algebraic Axiomatizations of Statecharts Variants
Axiomatizations are given for some prominent variants of the semantics of the statecharts formalism. The axiomatizations highlight the similarities and di erences amongst the semantics. In particular, all the semantics rely on the same notion of \microstep", but di erent notions of \step sequence". A process-algebraic approach is taken, and an executable variety of higher order logic is used, a...
متن کاملRetiming Techniques for Statecharts
We consider a version of Statecharts having transitions with durations. We relate occurrences of transitions with a dense time domain and enforce a strong time semantics. We examine how durations associated with transitions can be changed while preserving behaviour (a retiming). We discuss also how a class of changes of the temporal feature of the environment (i.e. from non-discrete to discrete...
متن کاملHierarchical automata as model for statecharts ( Extended abstract )
Statecharts are a very rich graphical speciication formalism supported by the commercial tool Statemate. Statecharts comprises powerful concepts such as interlevel transitions, multiple-source/multiple-target transitions, priority amongst transitions and simultaneous execution of maximal non-connicting sets of transitions. Every add-on tool which is supposed to be linked with the Statemate tool...
متن کاملTransitions as Interrupts: A New Semantics for Timed Statecharts
Statecharts is a visual formalism for the speciication of reac-tive systems. The formalism has been endowed with a \step-semantics" which heavily bounds the complexity of the reaction in a step, does not model interrupts in a natural way and is not proper for investigating reenement. In this paper, a new model is proposed allowing to overcome the mentioned drawbacks. From a syntactic point of v...
متن کاملDeclarative Name Binding and Scope Rules
In textual software languages, names are used to reference elements like variables, methods, classes, etc. Name resolution analyses these names in order to establish references between de nition and use sites of elements. In this paper, we identify recurring patterns for name bindings in programming languages and introduce a declarative metalanguage for the speci cation of name bindings in term...
متن کامل